Basic Program

Program Transformation : Theoretical Foundations and Basic Techniques

Over the last three decades the program transformation methodology has been proved to be a powerful technique for deriving programs from specifications, verifying program properties, specializing programs w.r.t. their context of use, and deriving more efficient program versions from less efficient ones. The transformation methodology has been first proposed in the area of functional programming...

Basic Program Structures for Avoiding Priority Inversions

Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distributed computing application systems. However, it is still practiced on the basis of an insufficient technical foundation. One of the basic issues in using the fixed-priority process structuring approach is to avoid the...

A Basic Minimum Program of Social Security

THE PURPOSE of a comprehensive program of social security is simple. Basically, it is to enable the working population to maintain economic independence throughout the cycle of family life by distributing the return from labor over the periods in which breadwinners can earn and those in which they cannot; at any one time, contributions made by the many who are subject to the risk are available ...

Basic Epidemiology for Tuberculosis Program Staff

Program Transformation : Theoretical Foundations and Basic Techniques

(v) interaction of program transformation with related methodologies for assisting software development, (vi) languages and systems for specifying and applying program transformations; and (vii) case studies, that is, derivation of non-trivial algorithms from specifications and automated generation of software systems. Among all papers we have received, twelve papers were selected for publicati...